#include "types.h"
#include "hal_boot.h"
#include "hal_uart.h"
#include "kernel.h"
#include "service_uart.h"
#include "service_scheduling.h"
#include "service_startup.h"
#include "../config/service_startup_config.h"


void service_startup_initSystem(void)
{
	// Boot
	hal_boot_start();

	// HAL init ----------------------
	HAL_INIT();
	// Kernel init -------------------
	KERNEL_INIT();
	// Service init ------------------
	SERVICE_INIT();
}
